-
1 Horn predicate
Математика: хорновский предикат -
2 Horn predicate
-
3 Horn predicate
The New English-Russian Dictionary of Radio-electronics > Horn predicate
-
4 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
5 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
6 logic
в) логическая схема; логические схемы- active logic
- application logic
- assertion-level logic - base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled logic
- charge-coupled device logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible logic - complementary transistor-resistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging logic - current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic - double-railed logic
- dynamic logic - emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic - hardware logic
- hard-wired logic
- high-level logic - integrated-circuit logic - latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic - low-voltage logic - magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic - micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- neighborhood logic - n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable logic
- programmable array logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic - resistor-coupled transistor logic - sampling-type logic
- saturated logic
- save-carry logic - Schottky transistor-transistor logic - shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic - ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor logic - tunnel-diode logic - virtual logic
- voltage-stage logic
- wired program logic -
7 logic
в) логическая схема; логические схемы•- active logic
- application logic
- assertion-level logic
- assisted Gunning transceiver logic
- asynchronous logic
- base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled device logic
- charge-coupled logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible current-sinking logic
- compatible logic
- complementary constant-current logic
- complementary resistor-diode-transistor logic
- complementary transistor-resistor logic
- complementary-transistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging injection logic
- current-hogging logic
- current-merged logic
- current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic
- digital summation threshold logic
- diode logic
- diode-transistor logic
- direct-coupled field-effect-transistor logic
- direct-coupled logic
- direct-coupled transistor logic
- direct-coupled unipolar transistor logic
- distributed logic
- domain-tip-propagation logic
- domain-wall logic
- double-railed logic
- dynamic logic
- emitter-coupled current-steering logic
- emitter-coupled logic temperature compensated
- emitter-coupled logic
- emitter-coupled transistor logic
- emitter-emitter coupled logic
- emitter-follower logic
- emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic
- Gunning transceiver logic
- half-line delay logic
- hardware logic
- hard-wired logic
- high-level logic
- high-level transistor-transistor logic
- high-noise immunity logic
- high-power logic
- high-threshold logic
- Horn clause logic
- integrated injection logic
- integrated Schottky logic
- integrated-circuit logic
- intensional logic
- isoplanar integrated injection logic
- Josephson logic
- latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic
- low-level logic
- low-power diode-transistor logic
- low-power logic
- low-power resistor-transistor logic
- low-power Schottky transistor-transistor logic
- low-threshold logic
- low-voltage logic
- low-voltage transistor-transistor logic
- machine logic
- magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic
- merged transistor logic
- metal-oxide-semiconductor transistor logic
- microcontrol logic
- micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- negative true logic
- neighborhood logic
- n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable array logic
- programmable logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic
- resistor-capacitor diode-transistor logic
- resistor-capacitor transistor logic
- resistor-coupled transistor logic
- resistor-transistor logic
- RSFQ logic
- sampling-type logic
- saturated logic
- save-carry logic
- Schottky transistor logic
- Schottky transistor-transistor logic
- Schottky-diode FET logic
- self-aligned superinjection logic
- sequential logic
- shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic
- substrate-fed logic
- symbolic logic
- symmetrical emitter-coupled logic
- synchronous logic
- ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor current-steering logic
- transistor logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tunnel-diode charge-transformer logic
- tunnel-diode coupled logic
- tunnel-diode logic
- tunnel-diode transistor logic
- unsaturated logic
- variable-threshold logic
- vertical injection logic
- virtual logic
- voltage-stage logic
- wired program logicThe New English-Russian Dictionary of Radio-electronics > logic
См. также в других словарях:
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Stratification (mathematics) — Stratification has several usages in mathematics. In mathematical logic In mathematical logic, stratification is any consistent assignment of numbers to predicate symbols guaranteeing that a unique formal interpretationof a logical theory exists … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… … Wikipedia
Plautdietsch language — Plautdietsch Spoken in Argentina, Belize, Bolivia, Brazil, Canada, Germany, Mexico, Paraguay, Peru, Russia, United States, Ukraine, Uruguay Native speakers 260,710 – 318,500 … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
List of topics in logic — This is a list of topics in logic.See also: List of mathematical logic topicsAlphabetical listAAbacus logic Abduction (logic) Abductive validation Affine logic Affirming the antecedent Affirming the consequent Antecedent Antinomy Argument form… … Wikipedia
List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… … Wikipedia
